Order sorted predicate logic (1989)

by A Oberschelp
Venue:In Workshop on Sorts and Types in Artificial Intelligence