Relational methods in logic, language and information - Blackburn, Patrick 1959-; Rijke, Maarten de; Venema, Yde (Centrum voor Wiskunde en Informatica <Amsterdam> / Department of Computer Science: Report CS, 1995)