author = {Gabor Kusper},
title = {{Solving the Resolution-Free SAT Problem by Hyper-Unit Propagation in Linear Time}},
language = {english},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = { 43},
number = {1-4},
pages = {129--136},
publisher = {Kluwer Academic Publishers},
address = {Dordrecht, Netherlands},
year = {2005},
refereed = {yes},
length = {8}