6
Etal	Etalle, Sandro.     Transformation and analysis of (constraint) logic programs [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam / S. Etalle; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1995. — VIII, 199 p.
ISBN 90-74795-27-7