Due to a scheduled maintenance, the sites dblp.org and dblp.dagstuhl.de may become temporarily unavailable between Saturday, October 1st, and Sunday, October 2nd, 2016. We are sorry for the inconvenience. In the mean time, please use mirror server dblp.uni-trier.de instead.
The domain dblp.org now points to this site. The CompleteSearch functionality has been fully integrated, just type into the search field below and see for yourself. If you feel that an important feature is missing or if you encounter any problems, please let us know!
François Bry, Burkhard Freitag, Dietmar Seipel (Hrsg.):
Twelfth Workshop Logic Programming, WLP 1997, 17-19 September 1997, München, Technical Report PMS-FB-1997-10 of the Ludwig Maximilians Univeristät München