Weyhrauch, Richard W "A users manual for FOL."Report Number: CS-TR-77-432 Department of Computer Science Stanford University July 1977

Languages mentioned

• FOL {1976}