|
|||||
|
|
A combinatorial algorithm for Horn programs |
|
| Authors: | R Chandrasekaran K Subramani |
| Institution: | 1. Department of Computer Science, University of Texas at Dallas, Dallas, TX, United States;2. LDCSEE, West Virginia University, Morgantown, WV, United States |
| Abstract: | |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ | |