%0 Conference Paper %1 conf/cla/RysselDB11 %A Ryssel, Uwe %A Distel, Felix %A Borchmann, Daniel %B CLA %D 2011 %E Napoli, Amedeo %E Vychodil, Vilém %I CEUR-WS.org %K dblp %P 100-113 %T Fast Computation of Proper Premises. %U http://dblp.uni-trier.de/db/conf/cla/cla2011.html#RysselDB11 %V 959

@inproceedings{conf/cla/RysselDB11, added-at = {2019-05-28T00:00:00.000+0200}, author = {Ryssel, Uwe and Distel, Felix and Borchmann, Daniel}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/204c9a12228f93a607cb9e9db2b9a7589/dblp}, booktitle = {CLA}, crossref = {conf/cla/2011}, editor = {Napoli, Amedeo and Vychodil, Vilém}, ee = {http://ceur-ws.org/Vol-959/paper7.pdf}, interhash = {78ea5a5cbba302e600249504cde9d071}, intrahash = {04c9a12228f93a607cb9e9db2b9a7589}, keywords = {dblp}, pages = {100-113}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2019-09-27T18:00:17.000+0200}, title = {Fast Computation of Proper Premises.}, url = {http://dblp.uni-trier.de/db/conf/cla/cla2011.html#RysselDB11}, volume = 959, year = 2011 }