![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 12 | Philippe Devienne, Patrick Lebègue, Anne Parrain, Jean-Christophe Routier, Jörg Würtz: Smallest Horn Clause Programs. J. Log. Program. 27(3): 227-267 (1996) | |
| 8 | Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier, Jörg Würtz: One Binary Horn Clause is Enough. STACS 1994: 21-32 |
Selection of 2 from 19 records - Jörg Würtz has 13 coauthors
Copyright © 2010-02-09 by Michael Ley (ley@uni-trier.de)