Login / Signup
Joachim Schreiber
Publication Activity (10 Years)
Years Active: 1989-1989
Publications (10 Years): 0
</>
Publications
</>
Ulrich Furbach
,
Steffen Hölldobler
,
Joachim Schreiber
Linear paramodulation modulo equality
Forschungsberichte, TU Munich
(1989)