%0 Journal Article %1 journals/japll/StrassT13 %A Strass, Hannes %A Thielscher, Michael %D 2013 %J J. Applied Logic %K dblp %N 3 %P 289-308 %T A general first-order solution to the ramification problem with cycles. %U http://dblp.uni-trier.de/db/journals/japll/japll11.html#StrassT13 %V 11

@article{journals/japll/StrassT13, added-at = {2013-09-26T00:00:00.000+0200}, author = {Strass, Hannes and Thielscher, Michael}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24c8c11915ee3e6e5e42b22f13f9932f6/dblp}, ee = {http://dx.doi.org/10.1016/j.jal.2013.05.003}, interhash = {03923d4b498747da024bb246bf7beab0}, intrahash = {4c8c11915ee3e6e5e42b22f13f9932f6}, journal = {J. Applied Logic}, keywords = {dblp}, number = 3, pages = {289-308}, timestamp = {2016-02-02T09:20:35.000+0100}, title = {A general first-order solution to the ramification problem with cycles.}, url = {http://dblp.uni-trier.de/db/journals/japll/japll11.html#StrassT13}, volume = 11, year = 2013 }