A resolution calculus with dynamic sort structures and partial functions (1990)

by C Weidenbach, H J Ohlbach
Venue:In Proceedings of the 9th European Conference on Arti Intelligence