An experiment using DLV-K. - Rocío Santillán; Alejandra López (LA-NMR, 2004)