Maltsev + Datalog --≫ Symmetric Datalog | IEEE Conference Publication | IEEE Xplore