Linear Tabulated Resolutions for the Well-Founded Semantics.

Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You, Neng-Fa Zhou

Browse the full LPNMR paper archive.