%0 Journal Article %1 journals/jar/MendlerS10 %A Mendler, Michael %A Scheele, Stephan %D 2010 %J J. Autom. Reason. %K %N 3 %P 207-243 %T Towards Constructive DL for Abstraction and Refinement. %U http://dblp.uni-trier.de/db/journals/jar/jar44.html#MendlerS10 %V 44

@article{journals/jar/MendlerS10, added-at = {2023-12-12T22:47:31.000+0100}, author = {Mendler, Michael and Scheele, Stephan}, biburl = {https://www.bibsonomy.org/bibtex/21ecd9efe12c54ef96f64f03ae0192f3c/admin}, ee = {https://doi.org/10.1007/s10817-009-9151-8}, interhash = {4e51a8433ddd62a4c3bf7278207521b2}, intrahash = {1ecd9efe12c54ef96f64f03ae0192f3c}, journal = {J. Autom. Reason.}, keywords = {}, number = 3, pages = {207-243}, timestamp = {2023-12-12T22:47:31.000+0100}, title = {Towards Constructive DL for Abstraction and Refinement.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar44.html#MendlerS10}, volume = 44, year = 2010 }