@INPROCEEDINGS{SOH2003,
 AUTHOR        = {Schmidt, Renate A. and Or{\l}owska, Ewa and 
 Hustadt, Ullrich},
 TITLE         = {Two proof systems for {Peirce} algebras},
 BOOKTITLE     = {Proceedings of the 7th International Seminar on
 Relational Methods in Computer Science},
 YEAR          = {2003},
 EDITOR        = {Berghammer, Rudolf and M{\"o}ller, Bernhard},
 PAGES         = {197--203},
 PUBLISHER     = {Christian-Albrechts-Universit{\"a}t Kiel},
 CADDRESS      = {Bad Malente, Germany},
 CYEAR         = {2003},
 CMONTH        = may # {~12--17},
}