Smallest Horn Clause Programs - Université d'Artois Access content directly
Journal Articles Jounal of Logic Programming Year : 1996
Not file

Dates and versions

hal-03301109 , version 1 (27-07-2021)

Identifiers

  • HAL Id : hal-03301109 , version 1

Cite

Ph. Devienne, P Lebègue, Anne Parrain, J.-C. Routier, J Würtz. Smallest Horn Clause Programs. Jounal of Logic Programming, 1996, 27 (3), pp.227-267. ⟨hal-03301109⟩
14 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More