Stephan Kepser
A Satisfiability Algorithm for a Typed Feature Logic
Arbeitspapiere des SFB 340, Bericht Nr. 60 (1994), 55pp.
Postscript (566kb)
1-up; Postscript gzip-komprimiert (183kb)
1-up,
2-up.
Abstract
---
Seminar für Sprachwissenschaft
University of Tuebingen
Wilhelmstr. 113
72074 Tübingen
Germany