First Order Logic in Practice (1997)

by J Harrison
Venue:In Proc. FTP