Motive-based Search.

Liliya Avdiyenko, Martin Nettling, Christiane Lemke, Matthias Wauer, Axel-Cyrille Ngonga Ngomo, Andreas Both

Browse the full IC3K paper archive.