Variable Elimination for DLP-Functions

Authors

Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran,