Norbert Eisinger, Tim Geisler, Sven Panne
Logic Implemented Functionally
PPDP, 1997.
@inproceedings{PLILP-1997-EisingerGP, author = "Norbert Eisinger and Tim Geisler and Sven Panne", booktitle = "{Proceedings of the Ninth International Symposium on Programming Languages: Implementations, Logics and Programs}", doi = "10.1007/BFb0033855", isbn = "3-540-63398-7", pages = "351--368", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Logic Implemented Functionally}", volume = 1292, year = 1997, }