Vol-1080⫷ Vol-1081 ⫸Vol-1082
urn:nbn:de:0074-1081-0


Vol-1081/regularpaper3⫷Vol-1081/regularpaper4⫸Vol-1081/shortpaper1
Francisco Martín-RecuerdaDirk Walther 0002

Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs