(untitled) - Dix, J.
Keywords: Computer science.; Logic design.; Artificial intelligence.; Logic, Symbolic and mathematical.; Computer Science.; Artificial Intelligence (incl. Robotics).; Logics and Meanings of Programs.; Mathematical Logic and Foundations