Author:
Schachte Peter,Søndergaard Harald
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Birkhoff, G.: Lattice Theory, 3rd edn. American Mathematical Society (1973)
2. Brace, K., Rudell, R., Bryant, R.: Efficient implementation of a BDD package. In: Proc. Twenty-seventh ACM/IEEE Design Automation Conf., pp. 40–45 (1990)
3. Cadoli, M., Scarcello, F.: Semantical and computational aspects of Horn approximations. Artificial Intelligence 119, 1–17 (2000)
4. Codish, M., Søndergaard, H., Stuckey, P.J.: Sharing and groundness dependencies in logic programs. ACM Transactions on Programming Languages and Systems 21(5), 948–976 (1999)
5. Cousot, P., Cousot, R.: Static determination of dynamic properties of recursive procedures. In: Neuhold, E.J. (ed.) Formal Description of Programming Concepts, pp. 237–277. North-Holland, Amsterdam (1978)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SAT-Based Horn Least Upper Bounds;Lecture Notes in Computer Science;2015