Vol-809⫷ Vol-810 ⫸Vol-811
urn:nbn:de:0074-810-0


None⫷None⫸None
Alessandro Mosca 0001Enrico FranconiDmitry Solomakhin

Logic-based reasoning support for SBVR