@INPROCEEDINGS{HanusSteiner98PLILPALP,
author = "Hanus, M. and Steiner, F.",
title = "Controlling Search in Declarative Programs",
year = "1998",
pages = "374-390",
publisher = "Springer LNCS 1490",
booktitle = "Principles of Declarative Programming (Proc. Joint
             International Symposium PLILP/ALP'98)"
}