Added sign function.
Bib entries for sublog factoring.