Tang, Ching Hoo Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Dhungana, D., Tang, C. H., Weidenbach, C., & Wischnewski, P. (2013). Automated Verification of Interactive Rule-based Configuration Systems. In E. Denney, T. Bultan, & A. Zeller (Eds.), 28th IEEE/ACM International Conference on Automated Software Engineering (pp. 551-561). Piscataway, NJ: IEEE. doi:10.1109/ASE.2013.6693112.