TY  - BOOK
TI  - Implementations of PROLOG
U1  - 005.133 I2 
ER  -