1 paper
Steven Holte, Gopalan Nadathur
The ability to compose code in a modular fashion is important to the construction of large programs. In the logic programming setting, it is desirable that such capabilities be rea…