Computational logic - Boyer Robert S; Moore J StrREF (New York Academic Press, 1983)
Appendix 329-84p
Keywords: Computer science