FOL User Manual - FOL version 2 (1991)

by F Giunchiglia, R W Weyhrauch