Implementing Quine's algorithm

Thanks again. It is very interesting. Your culture in the history of Logic is very good also ! (By the way, did you receive the message I sent to you this morning? I loosed its trace.)