Added interface for Logic Phase classes and updated documentation.