PFOL

AcronymDefinition
PFOLPartial First Order Logic