Computer aided investigations of relation algebras, dissertation (1992)

by P Jipsen