author = { Beckert, Bernhard AND Hartmer, Ulrike },

title = { A tableau calculus for quantifier-free set theoretic formulae },

keywords = { DATA processing & computer science },

year = {2008-01-16},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }