Completion for Logically Constrained Rewriting
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Sarah Winkler, Aart Middeldorp
Completion for Logically Constrained Rewriting
FSCD, 2018.

FSCD 2018
Full names Links ISxN
	author        = "Sarah Winkler and Aart Middeldorp",
	booktitle     = "{Proceedings of the Third International Conference on Formal Structures for Computation and Deduction}",
	doi           = "10.4230/LIPIcs.FSCD.2018.30",
	isbn          = "978-3-95977-077-4",
	pages         = "18",
	publisher     = "{Schloss Dagstuhl - Leibniz-Zentrum für Informatik}",
	title         = "{Completion for Logically Constrained Rewriting}",
	year          = 2018,

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.