QA4 a language for artificial intelligence - Derksen, Jan Antonius Cornelius (Stanford Research Institute, 1973)