TY  - RPRT
TI  - How to Complete an Interactive Configuration Process?
AU  - Mikolas Janota
AU  - Goetz Botterweck
AU  - Radu Grigore
AU  - Joao Marques-Silva
PY  - 2009
UR  - https://arxiv.org/abs/0910.3913
ID  - 0910.3913
ER  -