@article{SLC_1982_06_a14,
     author = {Walter Oberschelp},
     title = {Symbolic {Methods} for {Exhausting} {Djscrete} {Functions}},
     journal = {S\'eminaire lotharingien de combinatoire},
     publisher = {mathdoc},
     volume = {06},
     year = {1982},
     url = {http://geodesic.mathdoc.fr/item/SLC_1982_06_a14/}
}