Ivanov, S., Alhazov A., Rogojin V., & Gutiérrez-Naranjo M. A.  (2011).??Forward and Backward Chaining with P Systems .  International Journal of Natural Computing Research. 2(2),?56-66.