Variable Elimination for DLP-Functions.

Ricardo Gonalves, Tomi Janhunen, Matthias Knorr, Joo Leite, Stefan Woltran

Browse the full KR paper archive.