Michael Nitsche. Analysis and Refinement of Constraint Answer Sets in a Planning System. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1. pages 31-45, 1994.
@inproceedings{Nitsche94:1,
title = {Analysis and Refinement of Constraint Answer Sets in a Planning System},
author = {Michael Nitsche},
year = {1994},
tags = {refinement, analysis, constraints},
researchr = {https://researchr.org/publication/Nitsche94%3A1},
cites = {0},
citedby = {0},
pages = {31-45},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1},
editor = {María Alpuente and Roberto Barbuti and Isidro Ramos},
}