![]() | ![]() |
| 1996 | ||
|---|---|---|
| 1 | Vadam Kagan, Anil Nerode, V. S. Subrahmanian: Computing Minimal Models by Partial Instantiation. Theor. Comput. Sci. 155(1): 157-177 (1996) | |
| 1 | Anil Nerode | [1] |
| 2 | V. S. Subrahmanian | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page