http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Some undecidability Results for non-monadic church-rosser thue systems
OTTO, Friedrich: -- Some undecidability Results for non- -- monadic church-rosser thue systems. - -- (Kaiserslautern)[19]84.Getr.Pag.4°[Kopft.] -- (Interner Bericht.Fachbereich Informatik. -- Universität Kaiserslautern.98.) -- 1984:B 671. -- Ka.
Interner Bericht. Fachbereich Informatik. Universität Kaiserslautern 98