LATPub2
From International Center for Computational Logic
{{Publikation Details |Abstract= |ISBN= |ISSN= |Link= |Download= |Slides= |DOI Name= |Projekt= |Forschungsgruppe=Automatentheorie |BibTex=@techreport{ IMMD-85-18-8,
author = {F. {Baader} },
institution = {Institut f{\"u}r Mathematische Maschinen und Datenverarbeitung, Universit{\"a}t Erlangen},
number = {8},
title = {Die {S}-{V}ariet{\"a}t {DS} und einige {U}ntervariet{\"a}ten},
type = {Arbeitsbericht},
volume = {18},
year = {1985},
} }}
