J. ChacónRamón Pino Pérez2026-03-222026-03-22201210.1007/978-3-642-34654-5_3https://doi.org/10.1007/978-3-642-34654-5_3https://andeanlibrary.org/handle/123456789/81725enComputer scienceForward chainingTheoretical computer scienceClass (philosophy)Semantics (computer science)Set (abstract data type)ChainingDecidabilityAlgorithmExploring the Rationality of Some Syntactic Merging Operatorsbook-chapter