Practical aspects of set based analysis (1992)

by N Heintze
Venue:Proceedings of the Joint International Conference and Symposium on Logic Programming