Laurent Fribourg
Oriented Equational Clauses as a Programming Language
ICALP, 1984.
@inproceedings{ICALP-1984-Fribourg, author = "Laurent Fribourg", booktitle = "{Proceedings of the 11th Colloquium on Automata, Languages and Programming}", doi = "10.1007/3-540-13345-3_15", isbn = "3-540-13345-3", pages = "162--173", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Oriented Equational Clauses as a Programming Language}", volume = 172, year = 1984, }