First Order Logic in Practice (1997)

by John Harrison
Venue:IN PROC. FTP
Citations:2 - 0 self