@inproceedings{
    CL00:syrjanen,
    author = {Syrj\"anen, Tommi},
    publisher = "{Springer-Verlag}",
    ps = "syrjanen_cl2000.ps",
    booktitle = "Proceedings of the First International Conference on Computational Logic",
    title = "Including Diagnostic Information in Configuration Models",
    month = "July",
    flags = "public",
    year = "2000",
    address = "London, UK"
}