GCLA
Subtitle: the design, use, and implementation of a program development system
By: Martin Aronsson
Contributors: Stockholms universitet
Series: SICS dissertation series -- 12
Publisher: Swedish Institute of Computer Sciences
Published: 1993
Place of publication: Kista, Sweden
Language: eng
Number of pages: 225
Subjects: Logic programming; Horn clauses
Notes: Thesis (doctoral)--Stockholm University, 1993.

Includes bibliographical references.