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


Vol-1081/regularpaper3⫷Vol-1081/regularpaper4⫸Vol-1081/shortpaper1

Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs