Saul Amarel On the representation of problems in artificial intelligence. 168 1988 conf/iccl/1988 ICCL http://dx.doi.org/10.1109/ICCL.1988.13060 db/conf/iccl/iccl1988.html#Amarel88