Gert Smolka. Logic Programming with Polymorphically Order-Sorted Types. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, International Workshop on Algebraic and Logic Programming. Volume 343 of Lecture Notes in Computer Science, pages 53-70, Springer, Gaussig, GDR, 1988.
@inproceedings{Smolka88:0,
title = {Logic Programming with Polymorphically Order-Sorted Types},
author = {Gert Smolka},
year = {1988},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/Smolka88%3A0},
cites = {0},
citedby = {0},
pages = {53-70},
booktitle = {International Workshop on Algebraic and Logic Programming},
editor = {Jan Grabowski and Pierre Lescanne and Wolfgang Wechler},
volume = {343},
number = {1},
series = {Lecture Notes in Computer Science},
address = {Gaussig, GDR},
publisher = {Springer},
isbn = {3-540-50667-5},
}