Order sorted predicate logic (1990)

by A OBERSCHELP
Venue:In