Explanation-based transformation of logic programs
By: Henrik Boström
Contributors: Stockholms universitet
Published: 1993
Language: eng
Number of pages: 178
Notes: Thesis (doctoral)--Stockholm University, 1993.