1. Two theorems in graph theory;Berge;Proc. Natl. Acad. Sci.,1957
2. Ordnungen Verbände und Relationen mit Anwendungen;Berghammer,2012
3. Automated verification of relational while-programs;Berghammer,2014
4. Tool-based verification of a relational vertex coloring program;Berghammer,2015
5. Cardinality of relations and relational approximation algorithms;Berghammer;J. Log. Algebr. Methods Program.,2016