@article{boi92productionfields,
author	=	{Jean-Marc Bo{\"\i} and Eric Innocente and Antoine Rauzy and Pierre Siegel},
title	=	{Production {F}ields: a {N}ew {A}pproach to {D}eduction {P}roblems and two {A}lgorithms for {P}ropositional {C}alculus},
journal	=	{{R}evue d'{I}ntelligence {A}rtificielle},
publisher	=	{Herm\`es},
issn	=	{0992-499X},
volume	=	{06},
number	=	{3},
pages	=	{235--253},
year	=	{1992},
abstract	=	{Presentation of the notion of production fields and the two algorithms to compute consequences of a SAT instance that belong to a given production field (the Siegel's one and the Oxusoff and Rauzy's one).},
keywords	=	{Production fields}
}