TY - BOOK AU - "Stabley, Don H" TI - Logical Programming With System/860 SN - 047181945X CY - John Wiley N1 - includes index and biblioraphy ER -