@InCollection{Blackburn_et_al:1997,
        AUTHOR = {Blackburn, Patrick and de Rijke, Maarten and Vennema, Ide},
        TITLE = {Relational Methods in Logic, Language and Information},
        YEAR = {1997},
        BOOKTITLE = {Relational Methods in Computer Science},
        PAGES = {211-225},
        EDITOR = {Brink, C. and Kahl, W. and Schmidt, G.},
        SERIES = {Advances in Computing Sciences},
        ADDRESS = {Berlin},
        PUBLISHER = {Springer} }
     |