Formal techniques in artificial intelligence : a sourcebook - Banerji, Ranan B. (Amsterdam : North-Holland, 1990)
p. 410-424
Keywords: Artificial intelligence