Type inferencing for polymorphic order-sorted logic programs (1995)

by Christoph Beierle
Venue:Proceedings of the 1995 International Conference on Logic Programming