Filtering by: Creator Emir Pasalic Remove constraint Creator: Emir Pasalic Keyword logic programming Remove constraint Keyword: logic programming Collection Scholars Archive Remove constraint Collection: Scholars Archive Resource type dissertation Remove constraint Resource type: dissertation