@phdthesis{SimonsLic,
author = {Simons, Patrik},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
title = {Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics},
type = {Licentiate's thesis},
year = {1997},
}