logo
BibTeX Entry


@techreport{kepser:94,
  author	= {Kepser, Stephan},
  title		= {A Satisfiability Algorithm for a Logic for Typed Feature Structures},
  institution	= {Universit{\"a}t T{\"u}bingen, Germany},
  year		= {1994},
  number	= {60},
  type		= {Arbeitspapiere des {SFB} 340},
  URL		= {/projects/sfb/reports/berichte/60/60.ps},
  urlzip	= {/projects/sfb/reports/berichte/60/60.ps.gz},
  urlpage	= {/projects/sfb/reports/berichte/60/60abs.html},
  homepage	= {http://tcl.sfs.uni-tuebingen.de/~kepser/},
}