On certain methods for verifying recurrenceдоклад на конференции