John Alan Robinson The Role of Logic in Computer Science and Artificial Intelligence. 199-210 1992 FGCS db/conf/fgcs/fgcs92.html#Robinson92