Categories of relational structures. - Michal Walicki; Marcin Bialasik (WADT, 1997)

Reasoning with First Order Nondeterministic Specifications. - Beata Konikowska; Marcin Bialasik (Acta Informatica, 1999)