## Jan-Georg Smaus

*Is There an Optimal Generic Semantics for First-Order Equations?*

ICLP, 2003.

@inproceedings{ICLP-2003-Smaus, author = "Jan-Georg Smaus", booktitle = "{Proceedings of the 19th International Conference on Logic Programming}", doi = "10.1007/978-3-540-24599-5_30", isbn = "3-540-20642-6", pages = "438--450", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Is There an Optimal Generic Semantics for First-Order Equations?}", volume = 2916, year = 2003, }