TY - JOUR
AU - 
TI - An Introduction to the System
JF - A Computational Logic Handbook
DO - 10.1016/b978-0-12-122952-8.50011-1
DA - 1988-01-01
UR - https://www.deepdyve.com/lp/crossref/an-introduction-to-the-system-F8gcP93Hto
SP - 177
EP - 185
DP - DeepDyve
ER -