User Documentation
Functional STRIPS
Developing Tarski
We here cover some topics that are somewhat more advanced than the ones explained in the Getting Started chapter.