Stephen Skeirik, José Meseguer
Metalevel Algorithms for Variant Satisfiability
WRLA, 2016.
@inproceedings{WRLA-2016-SkeirikM, author = "Stephen Skeirik and José Meseguer", booktitle = "{Revised Selected Papers of the 11th International Workshop on Rewriting Logic and Its Applications}", doi = "10.1007/978-3-319-44802-2_10", isbn = "978-3-319-44801-5", pages = "167--184", publisher = "{Springer}", title = "{Metalevel Algorithms for Variant Satisfiability}", year = 2016, }