Conference Proceedings

Decomposition by tree dimension in Horn clause verification

B Kafle, JP Gallagher, P Ganty

Electronic Proceedings in Theoretical Computer Science | Published : 2015

Citation metrics