Saranli, U. And Pfenning, F. 2007. Using constrained intuitionistic linear logic for hybrid robotic planning problems. IEEE International Conference on Robotics and Automation , (Rome, Italy), 3705-3706.

Saranli, U., & Pfenning, F., (2007). Using constrained intuitionistic linear logic for hybrid robotic planning problems . IEEE International Conference on Robotics and Automation (pp.3705-3706). Rome, Italy

Saranli, ULUÇ, And Frank Pfenning. "Using constrained intuitionistic linear logic for hybrid robotic planning problems," IEEE International Conference on Robotics and Automation, Rome, Italy, 2007

Saranli, ULUÇ And Pfenning, Frank. "Using constrained intuitionistic linear logic for hybrid robotic planning problems." IEEE International Conference on Robotics and Automation , Rome, Italy, pp.3705-3706, 2007

Saranli, U. And Pfenning, F. (2007) . "Using constrained intuitionistic linear logic for hybrid robotic planning problems." IEEE International Conference on Robotics and Automation , Rome, Italy, pp.3705-3706.

@conferencepaper{conferencepaper, author={ULUÇ SARANLI And author={Frank Pfenning}, title={Using constrained intuitionistic linear logic for hybrid robotic planning problems}, congress name={IEEE International Conference on Robotics and Automation}, city={Rome}, country={Italy}, year={2007}, pages={3705-3706} }