@INPROCEEDINGS{SOH2004,
 AUTHOR        = {Schmidt, Renate A. and Or{\l}owska, Ewa and 
 Hustadt, Ullrich},
 TITLE         = {Two proof systems for {Peirce} algebras},
 BOOKTITLE     = {Revised Selected Papers of the 7th International 
 Seminar on Relational Methods in Computer Science and the
 2nd International Workshop on Kleene Algebra},
 YEAR          = {2004},
 EDITOR        = {Berghammer, Rudolf and M{\"o}ller, Bernhard
 and Struth, Georg},
 PAGES         = {238--251},
 PUBLISHER     = {Springer},
 ADDRESS       = {},
 PADDRESS      = {Berlin},
 PYEAR         = {2004},
 CADDRESS      = {Bad Malente, Germany},
 CYEAR         = {2003},
 CMONTH        = may # {~12--17},
 SERIES        = {LNCS},
 VOLUME        = {3051},
 LOCATION      = {hustadt:proceedings},
}