TY  - BOOK
AU  - Banerji,Ranan B.
TI  - Formal techniques in artificial intelligence: a sourcebook 
SN  - 0444881301
PY  - 1990///
CY  - Amsterdam
PB  - North-Holland
KW  - Artificial intelligence
N1  - p. 410-424
ER  -