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,
}











