Bruce Kallick. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by A. J. H. Morrell, North-Holland Publishing Company, Amsterdam 1969, pp. 269–275.
Joyce Friedman · Journal of Symbolic Logic · 1973
Bruce Kallick. A decision procedure based on the resolution method. Information processing 68, Proceedings of IFIP Congress 1968, organized by the International Federation for Information Processing, Edinburgh, 5–10 August 1968, Volume 1, Mathematics, Software, edited by A. J. H. Morrell, North-Holland Publishing Company, Amsterdam 1969, pp. 269–275. - Volume 38 Issue 4