TY - CHAP AU - Böttcher, Stefan DP - Universität Paderborn LA - eng PY - 2009 SN - 0-8186-2084-6 SP - 885-890 T3 - Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence TI - An inference engine for function free logic programs UR - https://nbn-resolving.org/urn:nbn:de:hbz:466:2-4242 Y2 - 2026-01-10T07:26:22 ER -