A Normal Form for Rules Containing Arithmetic Operations.

Jorge Fandinno, Yuliya Lierler, Vladimir Lifschitz

Browse the full KR paper archive.