MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@PHDTHESIS{Ohlbach88,
AUTHOR = {Ohlbach, Hans J{\"u}rgen},
TITLE = {A Resolution Calculus for Modal Logics},
SCHOOL = {Universit{\"a}t Kaiserslautern},
YEAR = {1988},
TYPE = {Doctoral dissertation}
}