Mikael Pettersson
RML — A New Language and Implementation for Natural Semantics
PPDP, 1994.
@inproceedings{PLILP-1994-Pettersson, author = "Mikael Pettersson", booktitle = "{Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming}", doi = "10.1007/3-540-58402-1_10", isbn = "3-540-58402-1", pages = "117--131", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{RML — A New Language and Implementation for Natural Semantics}", volume = 844, year = 1994, }