class
GroundExpressionImpl
GroundFunctionalTermImpl
Copyright © 2009–2021 Free University of Bozen-Bolzano. All rights reserved.