![]() |
@article{DBLP:journals/ase/HamfeltNO01,
author = {Andreas Hamfelt and
J{\o}rgen Fischer Nilsson and
Nikolaj Oldager},
title = {Logic Program Synthesis as Problem Reduction Using Combining
Forms},
journal = {Autom. Softw. Eng.},
volume = {8},
number = {2},
year = {2001},
pages = {167-193},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2003-12-04 by Michael Ley (ley@uni-trier.de)