A Semiautomatic Software System Framework for Logic Design for Probabilistic Relational Databases. - Ping-Tsai Chung; Fahmeed Afzal; Soe San; Hsin-Hua Hsiao (IKE, 2007)