1-2 of 2 Books
Termersetzungssysteme
By Klaus Drosten
Algebraic and logic programming
By J. Grabowski,Pierre Lescanne,Wolfgang Wechler