Article,

Using linear constraints for logic program termination analysis.

, , , and .
Theory Pract. Log. Program., 16 (3): 353-377 (2016)

Meta data

Tags

Users

  • @dblp

Comments and Reviews